Une horloge logique est un dispositif logiciel qui sert à établir et mesurer une notion de temps établie selon la relation de causalité arrivé-avant dans un système réparti asynchrone. Différents types d`horloges logiques existent et fournissent plus ou moins d`information sur la causalité.